Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Christopher Béatrix, Claire Lefèvre, Laurent Garcia, and Igor Stéphan. Justifications and Blocking Sets in a Rule-Based Answer Set Computation. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{beatrix_et_al:OASIcs.ICLP.2016.6, author = {B\'{e}atrix, Christopher and Lef\`{e}vre, Claire and Garcia, Laurent and St\'{e}phan, Igor}, title = {{Justifications and Blocking Sets in a Rule-Based Answer Set Computation}}, booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)}, pages = {6:1--6:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-007-1}, ISSN = {2190-6807}, year = {2016}, volume = {52}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.6}, URN = {urn:nbn:de:0030-drops-67310}, doi = {10.4230/OASIcs.ICLP.2016.6}, annote = {Keywords: Answer Set Programming, Justification, Rule-based Computation} }
Published in: Dagstuhl Seminar Proceedings, Volume 5171, Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Pascal Nicolas, Laurent Garcia, and Igor Stéphan. Possibilistic Stable Models. In Nonmonotonic Reasoning, Answer Set Programming and Constraints. Dagstuhl Seminar Proceedings, Volume 5171, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{nicolas_et_al:DagSemProc.05171.6, author = {Nicolas, Pascal and Garcia, Laurent and St\'{e}phan, Igor}, title = {{Possibilistic Stable Models}}, booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {5171}, editor = {Gerhard Brewka and Ilkka Niemel\"{a} and Torsten Schaub and Miroslaw Truszczynski}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.05171.6}, URN = {urn:nbn:de:0030-drops-2641}, doi = {10.4230/DagSemProc.05171.6}, annote = {Keywords: Non monotonic reasoning, uncertainty, possibility theory} }
Feedback for Dagstuhl Publishing